Lightweight verification of control flow policies on Java bytecode

This paper presents the enforcement of control flow policies for Java bytecode devoted to open and constrained devices. On-device enforcement of security policies mostly relies on run-time monitoring or inline checking code, which is not appropriate for strongly constrained devices such as mobile phones and smart-cards. We present a proof-carrying code approach with on-device lightweight verification of control flow policies statically at loading- time. Our approach is suitable for evolving, open and constrained Java-based systems as it is compositional, to avoid re-verification of already verified bytecode upon loading of new bytecode, and it is regressive, to cleanly support bytecode unloading.Ce rapport présente l'application de politiques de flot de contrôle sur du bytecode Java pour les petits systèmes ouverts. La plupart du temps, l'application de ce type de politiques de sécurité est réalisée par l'observation du système ou l'insertion de code pour assuré en assurer le respect, ce qui n'est pas approprié pour les petits systèmes fortement contraints tels que les téléphones mobiles ou les cartes à puce. Nous présentons une méthode basée sur le proof-carrying code pour faire appliquer ce type de politiques avec une vérification embarquée réalisée au chargement. Notre approche est bien adaptée aux petits systèmes ouverts évolutifs car elle est compositionnelle, pour éviter la revérification du code déjà chargé, et régressive, afin de traiter proprement le déchargement de code déjà installé et vérifié

Le processus judiciaire montréalais en réponse aux infractions relatives à la pollution de l'air et de l'eau

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal

Modélisation des mécanismes de rétrodiffusion du signal ultrasonore par le sang

Application des ultrasons à la biorhéologie sanguine -- Écoulement sanguin -- Agrégation érythrocytaire -- Modélisation théorique du signal ultrasonore rétrodiffusé par le sang -- Modélisation de l'agrégation de particules en suspension -- Modélisation du signal ultrasonore rétrodiffusé par les globules rouges en absence d'agrégation -- Modélisation de l'agrégation érythrocytaire et de son influence sur la rétrodiffusion ultrasonore -- Intérêt clinique de l'agrégation érythrocytaire

A Hybrid Tracking System of Human Resources: A Case Study in a Canadian University

Radio Frequency Identification (RFID), including Real-Time Location Systems (RTLS) and Global Positioning Systems (GPS), are technologies that have evolved considerably in the past few years. They have the potential to provide a means by which organizations can follow employees in real time. However, this permanent surveillance may have unexpected impacts on employees as well as on the organization itself. We followed the systems development research process to build a hybrid RFID-GPS system that allowed for the real-time location of human resources both indoors and outdoors. We tested this system in the security service of a Canadian university and explored its impacts on the workgroup and its employees. Our findings suggest that this kind of system can work in a real-world context, and that it has distinct impacts on the individual and the organization of a type not usually observed with more traditional information systems

La diversité des interactions plantes-pollinisateurs : Un pré-requis indispensable à la stabilité des écosystèmes

N/

Pain complaints in a patient with schizophrenia

peer reviewedSchizophrenia is a complex pathology. Its prevalence reaches almost 1 %. Its semiology can be diversified. Sensorial perception can be altered included pain perception. Most of the studies conclude that psychotic patients have a hypoalgesia. It's important to consider this fact to avoid missing potentially grave somatic disease

Excretion of dengue virus RNA by Aedes aegypti allows non-destructive monitoring of viral dissemination in individual mosquitoes

International audienceSuccessful transmission of a vector-borne pathogen relies on a complex life cycle in the arthropod vector that requires initial infection of the digestive tract followed by systemic viral dissemination. The time interval between acquisition and subsequent transmission of the pathogen, called the extrinsic incubation period, is one of the most influential parameters of vector-borne pathogen transmission. However, the dynamic nature of this process is often ignored because vector competence assays are sacrificial and rely on end-point measurements. Here, we report that individual Aedes aegypti mosquitoes release large amounts of dengue virus (DENV) RNA in their excreta that can be non-sacrificially detected over time following oral virus exposure. Further, we demonstrate that detection of DENV RNA in excreta from individual mosquitoes is correlated to systemic viral dissemination with high specificity (0.9–1) albeit moderate sensitivity (0.64–0.89). Finally, we illustrate the potential of our finding to detect biological differences in the dynamics of DENV dissemination in a proof-of-concept experiment. Individual measurements of the time required for systemic viral dissemination, a prerequisite for transmission, will be valuable to monitor the dynamics of DENV vector competence, to carry out quantitative genetics studies, and to evaluate the risk of DENV transmission in field settings. Vector competence is the intrinsic ability of arthropods to acquire and subsequently transmit vector-borne pathogens , such as, malaria parasites or dengue viruses (DENV) 1. Experimental vector competence assessments of arthropod populations are an important component of assessing the risk of vector-borne disease. Vector competence is a quantitative trait that varies not only between arthropod species, but also within a vector species. For example, 24 populations of the mosquito Aedes aegypti sampled throughout Mexico and the United States displayed substantial variation in their vector competence for DENV

Clinical Validation of Computer-Assisted Navigation in Total Hip Arthroplasty

A CT-based navigation system is helpful to evaluate the reamer shaft and the impactor position/orientation during unilateral total hip arthroplasty (THA). The main objective of this study is to determine the accuracy of the Navitrack system by measuring the implant's true anteversion and inclination, based on pre- and postoperative CT scans (n = 9 patients). The secondary objective is to evaluate the clinical validity of measurements based on postop anteroposterior (AP) radiographs for determining the cup orientation. Postop CT-scan reconstructions and postop planar radiographs showed no significant differences in orientation compared to peroperative angles, suggesting a clinical validity of the system. Postoperative AP radiographs normally used in clinic are acceptable to determine the cup orientation, and small angular errors may originate from the patient position on the table

Free Radical Copolymerization of 2,2,2-Trifluoroethyl a-Fluoroacrylate and tert-Butyl a-Trifluoromethylacrylate: Thermal and Optical Properties of the Copolymers

International audienceThe radical copolymerization of 2,2,2-trifluoroethyl a-fluoroacrylate (FATRIFE) with tert-butyl a-trifluoromethylacrylate (MAF-TBE) initiated by tertbutyl 2,2-dimethylperoxypropanoate was investigated in acetonitrile solution. A series of poly(FATRIFE-co-MAF-TBE) copolymers were synthesized with MAF-TBE compositions, determined by 19F NMR, ranging from 12 to 44 mol %. MAF-TBE incorporation was less than 50 mol % as this monomer underwent no radical homopolymerization. The obtained copolymers exhibited number-average molecular weights and polydispersity indexes ranging from 1.5 3 104 to 9.6 3 104 g/mol and from 1.5 to 3.1, respectively. The reactivity ratios were determined by the Kelen-Tu¨ dos method (rFATRIFE ¼ 1.71 6 0.01 and rMAF-TBE ¼ 0 at 74 8C) leading to random copolymers and alternating copolymers when the MAF-TBE molar ratio in copolymer is close to 50 mol %. Thermal and optical properties of the resulting polymers were examined. Glass transition temperatures of copolymers were varying from 89 to 108 8C. Modifying the compositions of these copolymers allowed a precise control over the refractive index measured at 633, 1320, and 1550 n

ETUDE DES SÉDIMENTS COTIERS DU CAP CORSE: RECONSTRUCTION PALÉOENVIRONNEMENTALE ET SUIVI DE LA CONTAMINATION EN ÉLÉMENTS TRACES MÉTALLIQUES AU COURS DE LA PÉRIODE HISTORIQUE

Les sédiments sont d’excellentes archives de la contamination de notre environnement. Depuis l’Antiquité, les activités humaines génèrent des aérosols anthropiques enrichis en métaux lourds (e.g. Pb, Zn, Cu, Cd, Hg) ou associés (As, Sb). Ces polluants métalliques se mélangent aux aérosols naturels (altération des roches) et leurs retombées sont incorporées dans les sols et les sédiments où ils sont préservés (Boyd, 2004). Sur des sédiments datés, une approche géochimique permet de quantifier l’apport anthropique en éléments métalliques par rapport aux sources naturelles et de reconstituer l’historique de la pollution. Les côtes méditerranéennes sont caractérisées par d’intenses échanges commerciaux, et ce depuis l’Antiquité. Nous proposons une reconstruction paléoenvironnementale ainsi qu’un suivi de la contamination anthropique au cours de la période historique pour différents sites du Cap Corse (France ; Figure 1). Cette région de Méditerranée se caractérise par une riche activité économique au cours de la période historique. Depuis le VIème siècle, la Corse a été colonisée successivement par les Grecs, les Carthaginois, les Etrusques puis par les Romains. En milieu continental, des témoins archéologiques (sépulture, oppidum, chapelle) attestent d’une occupation de cette zone sur une période assez longue. Cependant de nombreuses interrogations subsistent quant à l’importance des établissements, leurs périodes d’occupation, leurs activités économiques et leurs rapports commerciaux avec les autres cités du Cap Corse et des côtes méditerranéennes (de La Brière, 2010). Des carottes de 1 m à 1,5 m ont été prélevées à la tarière dans différents sites du Cap Corse. Les concentrations en éléments majeurs et en éléments traces métalliques ont été mesurées par spectrométrie de masse (ICP-MS), activation neutronique (INAA) et par XRF core scanner. Les datations 14C réalisées sur des macrorestes de matières végétales et charbons montrent que ces carottes couvrent toute la période historique, à l’exception de celle prélevée à Méria qui ne couvre qu’environ 300 ans. Cette carotte a également la particularité de contenir d’importantes concentrations en métaux lourds tels que le Sb (2000 ppm) et l’As (300 ppm). Cette contamination est d’origine locale et liée à la présence d’une ancienne mine d’antimoine à 2 km en amont de Méria. Afin d’obtenir un enregistrement sur les 2000 dernières années, un carottage plus long sera réalisé lors d’une nouvelle campagne de terrain. D’autres carottages seront également réalisés entre la mine et la côte actuelle afin d’observer la variation spatiale dans le but de quantifier l’impact environnemental des activités humaines locales et régionales